//
//  global.cpp
//  ltlbmc
//
//  Created by GD Huang on 7/25/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#include <iostream>
#include "global.h"


namespace cilast {
    
    int global::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GType::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GCompTag::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GCompTagDecl::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GEnumTag::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GEnumTagDecl::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GVarDecl::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GVar::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GFun::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GAsm::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    int GPragma::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
    
    int GText::accept(astVisitor* visitor) {
        visitor->visit(this);
    }
    
}